搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

	Applications of Soft Computing [electronic resource] : Recent Trends 0 索取号：作者：Tiwari、 Ashutosh.、Roy、 Rajkumar.、Knowles、 Joshua.、Avineri、 Erel.、Dahal、 Keshav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		High Performance Computing in Science and Engineering '06 [electronic resource] : Transactions of the High Performance Computing Center Stuttgart (HLRS) 2006 0 索取号：作者：Nagel、 Wolfgang E.、J盲ger、 Willi.、Resch、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Data Analysis, Classification and the Forward Search [electronic resource] : Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6鈥謠2005 0 索取号：作者：Zani、 Sergio.、Cerioli、 Andrea.、Riani、 Marco.、Vichi、 Maurizio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Model Driven Architecture-Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings 0 索取号：作者：Rensink、 Arend.、Warmer、 Jos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings 0 索取号：作者：Goble、 Lou.、Meyer、 John-Jules Ch.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Artificial Intelligence and Soft Computing-ICAISC 2006 [electronic resource] : 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings 0 索取号：作者：Rutkowski、 Leszek.、Tadeusiewicz、 Ryszard.、Zadeh、 Lotfi A.、呕urada、 Jacek M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Technical Basis of Radiation Therapy [electronic resource] : Practical Clinical Applications 0 索取号：作者：Perez、 Carlos A.、Vijayakumar、 Srinivasan.、Levitt、 Seymour H.、Purdy、 James A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Computer Graphics [electronic resource] : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings 0 索取号：作者：Nishita、 Tomoyuki.、Peng、 Qunsheng.、Seidel、 Hans-Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Feature Extraction [electronic resource] : Foundations and Applications 0 索取号：作者：Guyon、 Isabelle.、Nikravesh、 Masoud.、Gunn、 Steve.、Zadeh、 Lotfi A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2 [electronic resource] 0 索取号：作者：Ferrario、 Mauro.、Ciccotti、 Giovanni.、Binder、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1 [electronic resource] 0 索取号：作者：Ferrario、 Mauro.、Ciccotti、 Giovanni.、Binder、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings 0 索取号：作者：Gibbons、 Phillip B.、Abdelzaher、 Tarek.、Aspnes、 James.、Rao、 Ramesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	High Performance Computing on Vector Systems [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2005 0 索取号：作者：Resch、 Michael.、B枚nisch、 Thomas.、Benkert、 Katharina.、Bez、 Wolfgang.、Furui、 Toshiyuki.、Seo、 Yoshiki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematical Models for Registration and Applications to Medical Imaging [electronic resource] 0 索取号：作者：Scherzer、 Otmar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings 0 索取号：作者：Keller、 Alexander.、Martin-Flatin、 Jean-Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Artificial Intelligence [electronic resource] : 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Qu茅bec City, Qu茅bec, Canada, June 7-9, 2006. Proceedings 0 索取号：作者：Lamontagne、 Luc.、Marchand、 Mario.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Applications of Soft Computing [electronic resource] : Recent Trends 0 索取号：作者：Tiwari、 Ashutosh.、Roy、 Rajkumar.、Knowles、 Joshua.、Avineri、 Erel.、Dahal、 Keshav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		High Performance Computing in Science and Engineering '06 [electronic resource] : Transactions of the High Performance Computing Center Stuttgart (HLRS) 2006 0 索取号：作者：Nagel、 Wolfgang E.、J盲ger、 Willi.、Resch、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Data Analysis, Classification and the Forward Search [electronic resource] : Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6鈥謠2005 0 索取号：作者：Zani、 Sergio.、Cerioli、 Andrea.、Riani、 Marco.、Vichi、 Maurizio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Model Driven Architecture-Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings 0 索取号：作者：Rensink、 Arend.、Warmer、 Jos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings 0 索取号：作者：Goble、 Lou.、Meyer、 John-Jules Ch.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Artificial Intelligence and Soft Computing-ICAISC 2006 [electronic resource] : 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings 0 索取号：作者：Rutkowski、 Leszek.、Tadeusiewicz、 Ryszard.、Zadeh、 Lotfi A.、呕urada、 Jacek M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Technical Basis of Radiation Therapy [electronic resource] : Practical Clinical Applications 0 索取号：作者：Perez、 Carlos A.、Vijayakumar、 Srinivasan.、Levitt、 Seymour H.、Purdy、 James A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Computer Graphics [electronic resource] : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings 0 索取号：作者：Nishita、 Tomoyuki.、Peng、 Qunsheng.、Seidel、 Hans-Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Feature Extraction [electronic resource] : Foundations and Applications 0 索取号：作者：Guyon、 Isabelle.、Nikravesh、 Masoud.、Gunn、 Steve.、Zadeh、 Lotfi A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2 [electronic resource] 0 索取号：作者：Ferrario、 Mauro.、Ciccotti、 Giovanni.、Binder、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1 [electronic resource] 0 索取号：作者：Ferrario、 Mauro.、Ciccotti、 Giovanni.、Binder、 Kurt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings 0 索取号：作者：Gibbons、 Phillip B.、Abdelzaher、 Tarek.、Aspnes、 James.、Rao、 Ramesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	High Performance Computing on Vector Systems [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2005 0 索取号：作者：Resch、 Michael.、B枚nisch、 Thomas.、Benkert、 Katharina.、Bez、 Wolfgang.、Furui、 Toshiyuki.、Seo、 Yoshiki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematical Models for Registration and Applications to Medical Imaging [electronic resource] 0 索取号：作者：Scherzer、 Otmar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings 0 索取号：作者：Keller、 Alexander.、Martin-Flatin、 Jean-Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Artificial Intelligence [electronic resource] : 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Qu茅bec City, Qu茅bec, Canada, June 7-9, 2006. Proceedings 0 索取号：作者：Lamontagne、 Luc.、Marchand、 Mario.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.